function main() {
	var a:default;
}
